Buy Used and New Gerard Holzmann Books

NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642203978

Format: Paperback (536 pages)
Publisher: Springer
Published: 06 Apr 2011

Save for later